right coset decomposition

右傍系分解